Information flow - PDFSEARCH.IO - Document Search Engine

Information flow
Results: 2315

#	Item
31	HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell Pablo Buiras Dimitrios Vytiniotis Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2016-06-13 14:12:31
32	Operational Significance and Robustness in Quantitative Information Flow Geoffrey Smith Florida International University Add to Reading List Source URL: users.cis.fiu.edu Language: English - Date: 2014-04-16 18:16:35
33	A Library for Light-Weight Information-Flow Security in Haskell Alejandro Russo Koen Claessen John Hughes Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-02-19 10:56:50
34	Information Flow Investigations: Extended Abstract∗ Michael Carl Tschantz Univ. of California, Berkeley† Anupam Datta Add to Reading List Source URL: sharps.org Language: English - Date: 2014-06-20 15:50:56
35	Flexible Dynamic Information Flow Control in Haskell Deian Stefan1 Alejandro Russo2 John C. Mitchell1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-07-18 04:35:26
36	Abstractions for Usable Information Flow Control in Aeolus Winnie Cheng∗ Victoria Popic† Dorothy Curtis MIT CSAIL Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2012-05-03 16:38:36
37	Session types for access and information flow control ? Sara Capecchi1 , Ilaria Castellani2 , Mariangiola Dezani-Ciancaglini1 , and Tamara Rezk2 1 Dipartimento di Informatica, Università di Torino, corso Svizzera 185, Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2012-07-25 04:59:32
38	Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2 Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2016-06-13 14:12:31
39	Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2017-10-18 18:53:00